Перевод: со всех языков на все языки

со всех языков на все языки

implicative normal form

См. также в других словарях:

  • 2-satisfiability — In computer science, 2 satisfiability (abbreviated as 2 SAT or just 2SAT) is the problem of determining whether a collection of two valued (Boolean or binary) variables with constraints on pairs of variables can be assigned values satisfying all… …   Wikipedia

  • Thoralf Skolem — Infobox Scientist name = Thoralf Skolem birth date = birth date|1887|5|23|mf=y birth place = Sandsvaer, Buskerud, Norway residence = nationality = death date = death date and age|1963|3|23|1887|5|23|mf=y death place = Oslo, Norway field =… …   Wikipedia

  • symphony — /sim feuh nee/, n., pl. symphonies. 1. Music. a. an elaborate instrumental composition in three or more movements, similar in form to a sonata but written for an orchestra and usually of far grander proportions and more varied elements. b. an… …   Universalium

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • List of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia

  • UNITED STATES LITERATURE — The Influence of the Bible and Hebrew Culture The Jewish influence on American literary expression predated the actual arrival of Jews in the United States in 1654, for the Puritan culture of New England was marked from the outset by a deep… …   Encyclopedia of Judaism

  • typical — Synonyms and related words: absolute, archetypal, categorical, characteristic, classic, classical, classificational, classificatory, common, commonplace, connotative, consummate, conventional, customary, defining, demonstrative, denominative,… …   Moby Thesaurus

  • typical — adj 1. representative, illustrative, paradigmatic, classic, quintessential; suggestive, evidential, symptomatic, implicative; exemplary, sample, pilot, experimental, model, true to type, true to form; characteristic, distinctive, indicatory,… …   A Note on the Style of the synonym finder

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»